منابع مشابه
MCC'2015 - The Fifth Model Checking Contest
The Model Checking Contest (MCC) is an annual competition between software tools that verify concurrent systems using state-space exploration techniques, either explicit-state or symbolic. The present article provides a comprehensive account of the 2015 edition of the MCC. The principles of the contest are described, together with its underlying software infrastructure. The tools that competed ...
متن کاملEgg-laying.
C. elegans hermaphrodites are self-fertile, and their rate and temporal pattern of egg-laying are modulated by diverse environmental cues. Egg-laying behavior has served as an important phenotypic assay for the genetic dissection of neuronal signal transduction mechanisms. This chapter reviews our current understanding of the neuronal and neurochemical mechanisms underlying the control of egg-l...
متن کاملEffects of laying hens housing system on laying performance, egg quality characteristics, and egg microbial contamination
The objective of this study was to compare the performance, egg quality, and microbial contamination of egg shells from hens maintained in different housing systems, such as conventional and enriched cages, litter, and aviaries. The housing system significantly (P < 0.001) influenced the performance characteristics. The highest egg production, lowest daily feed consumption, and feed conversion ...
متن کاملmesuring the staff technology readiness, the case of a multi national chemical company operating in iran
چکیده ندارد.
15 صفحه اولGenetics of egg-laying in worms.
Genetic studies of behavior in the nematode Caenorhabditis elegans have provided an effective approach to investigate the molecular and cellular basis of nervous system function and development. Among the best studied behaviors is egg-laying, the process by which hermaphrodites deposit developing embryos into the environment. Egg-laying involves a simple motor program involving a small network ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Association of Instructors and Investigators of Poultry Husbandry
سال: 1917
ISSN: 2666-3651
DOI: 10.3382/ps.0030070